Russell and Logical Ontology
ثبت نشده
چکیده
منابع مشابه
Tractarian objects and logical categories
It has been much debated whether the Tractarian objects are what Russell would have called particulars or whether they include also properties and relations. This paper claims that the debate is misguided: there is no logical category such that Wittgenstein intended the reader of the Tractatus to understand his objects either as providing examples of or as not providing examples of that categor...
متن کاملAn Ontological Critique of Critical Geopolitics in Gearóid Ó Tuathail and Simon Dalby
Introduction: Philosophical research in the study of political geography in Iran is very limited. Among the existing cases, we encounter a kind of theoretical confusion that results from a lack of sufficient scientific and philosophical accuracy. Therefore, this study seeks to address the critical philosophical geopolitical critique in the writings of Ó Tuathail and Dalby by pointing out the ne...
متن کاملDescriptive and Revisionary Theories of Events
Introduction Early in this century, three Cambridge philosophers, A. N. Whitehead, Ber trand Russell and C. D. Broad, became champions of event ontologies that were thought to be compatible with emerging relativity theory.1 Events, therefore, replaced Aristotelian substances as the primary constituents of the universe-they are conceived as units of space-time spreading throughout and overlappi...
متن کاملInferring logical definitions using compound ontology matching
OBO logical definitions are a means to support the creation of integrated reference ontologies. In ontologies they exist for, logical definitions currently cover a small portion of classes, which limits the potential for integration. We present a novel preliminary strategy to derive logical definition candidates based on an ontology compound matching algorithm. Preliminary results show that thi...
متن کاملSystem Description: Russell - A Logical Framework for Deductive Systems
Russell is a logical framework for the specification and implementation of deductive systems. It is a high-level language with respect to Metamath language [7], so inherently it uses a Metamath foundations, i.e. it doesn’t rely on any particular formal calculus, but rather is a pure logical framework. The main difference with Metamath is in the proof language and approach to syntax: the proofs ...
متن کامل